#!/bin/bash
#
# Verify that exit code is 1 when a "bad" input file is given

"$ELFREF" /dev/null
[ $? -ne 1 ] && exit 1
exit 0
